Перевод: с английского на все языки

со всех языков на английский

преобразования программ

См. также в других словарях:

  • таблица преобразования программ — (МСЭ Т J.280). [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program map tablePMT …   Справочник технического переводчика

  • ПРОГРАММ ОПТИМИЗИРУЮЩИЕ ПРЕОБРАЗОВАНИЯ — применяемые при трансляции направленные преобразования программы, представленной в иек рой ее промежуточной форме, с целью улучшения рабочих характеристик программы, связанных с использованием ею ресурсов ЭВМ, главными из к рых являются время… …   Математическая энциклопедия

  • ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ — управ ляющих систем преобразования, сохраняющие отношение эквивалентности (о. э.) управляющих систем (у. с.). Используются в задачах оптимизации, контроля, а также как средство характеризации (напр., аксиоматизации) определенных классов у. с.;… …   Математическая энциклопедия

  • ГОСТ Р 50788-95: Установки непосредственного приема программ спутникового телевизионного вещания. Классификация. Основные параметры. Технические требования. Методы измерений — Терминология ГОСТ Р 50788 95: Установки непосредственного приема программ спутникового телевизионного вещания. Классификация. Основные параметры. Технические требования. Методы измерений оригинал документа: 3.1.4 Антенна устройство для приема… …   Словарь-справочник терминов нормативно-технической документации

  • Список программ для работы с PDF — В этой статье слишком короткое вступление. Пожалуйста, дополните вводную секцию, кратко раскрывающую тему статьи и обобщающую её содержимое …   Википедия

  • Пакеты прикладных программ обработки социологических данных — Обработка информации на ЭВМ осуществляется с помощью машинных программ (специальным образом оформленных инструкций, определяющих последовательность действий вычислительной машины). Поскольку обработка каждого вида информации (экономической,… …   Социологический справочник

  • ПАКЕТЫ ПРИКЛАДНЫХ ПРОГРАММ — совокупность программ, позволяющих выполнить весь комплекс этапов обработки информации. Все выполняемые ЭВМ операции производятся в соответствии с задаваемыми наборами команд программами. Каждая программа реализует определенный набор правил ввода …   Российская социологическая энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ —     ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …   Философская энциклопедия

  • алгол — а; м. [англ. algol (algorithmic language) алгоритмический язык]. Один из языков программирования, применяемый для формализованной записи алгоритмов. * * * алгол (от англ. algorithmic  алгоритмический и language  язык), название ряда языков… …   Энциклопедический словарь

  • Ершов Андрей Петрович — (1931 1988), математик, академик АН СССР (1984). Труды по автоматизации программирования, математическому обеспечению ЭВМ, информатике. * * * ЕРШОВ Андрей Петрович ЕРШОВ Андрей Петрович (19 апреля 1931, Москва 8 декабря 1988), советский математик …   Энциклопедический словарь

  • Ершов, Андрей Петрович — В Википедии есть статьи о других людях с такой фамилией, см. Ершов. Андрей Петрович Ершов Дата рождения: 19 апр …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»